منابع مشابه
Nonmonotonic Logics and Semantics
Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas iff a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas iff a holds in all of the preferred models in which all the elements of A hold. Shoham proposed that the notion of preferr...
متن کاملSemantics for Nonmonotonic Logics
A variant is proposed of the preference-based semantics for nonmonotonic logics that was originally considered by Shoham (1987,1988). In this variant it is not assumed that preferences between standard models are aggregated into one preference order. This allows the capturing of all main nonmonotonic formalisms, including Default Logic of Reiter (1980). The preferential models introduced in thi...
متن کاملPreference-Based Semantics for Nonmonotonic Logics
A variant is proposed of the preference-based se mantics for nonmonotonic logics that was origi nally considered by Shoham [1987; 1988]. In this variant it is not assumed that preferences between standard models arc aggregated into one preference order. This allows the capturing of all main non monotonic formalisms, including Default Logic oi Reiter [1980]. The preferential models introduced...
متن کاملPreservationist Logics and Nonmonotonic Logics
Any number of distinct logical consequence-relations can be represented in preservationist terms—as preserving one or more properties of sets of sentences—providing a general and abstract perspective from which to consider theories of consequence. One simple way of defining such consequence-relations, however, yields ones that are always strictly monotonic. At the same time, many nonmonotonic l...
متن کاملA Preference Semantics for Ground Nonmonotonic Modal Logics
In this paper we provide a semantic characterization of ground logics, a family of nonmonotonic modal logics obtained by means of a variant of the well known Mc Dermott and Doyle xed point equation. The term ground logics carries the idea of restricting the negative in-trospection capabilities of the reasoning agent to the objective (i.e. non modal) part of the theory. This intuition was nicely...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2001
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/11.2.229